Philips EXP2551 Satelliten Radio Handbücher, Guides von Benutzern und andere Dokumente